• GSOS+ -Rules are Natural Transformations - A Mechanised Proof

  Seidler, Henning

• On Bisimulations for Asynchronous Psi-Calculi

  Stüber, Anke

• Asynchronous Session Types for Consensus Algorithms

  Adameit, Manuel

• A collaborative Web-Platform to share ideas and initiate projects for development of Nepal

  Sthapit, Christina

• Topological Self-Stabilization with Name-Passing Process Calculi

  Rickmann, Christina

• Formal Analysis of Collaboration via Convergent Replicated Data Structures

  Jungnickel, Tim

• Distributability of Asynchronous Process Calculi

  Brodmann, Paul